The Isomorphism Between a Class of Place Transition Nets and a Multi-Plane State Machine Agent Model
نویسندگان
چکیده
Recently we introduced a multi-plane state machine model of an agent, released an implementation of the model, and designed several applications of the agent framework. In this paper we address the translation from the Petri net language to the Blueprint language used for agent description as well as the translation from Blueprint to Petri Nets. The simulation of a class of Place Transition Nets is part of an eeort to create an agent{based workkow management system.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملUtilizing Generalized Learning Automata for Finding Optimal Policies in MMDPs
Multi agent Markov decision processes (MMDPs), as the generalization of Markov decision processes to the multi agent case, have long been used for modeling multi agent system and are used as a suitable framework for Multi agent Reinforcement Learning. In this paper, a generalized learning automata based algorithm for finding optimal policies in MMDP is proposed. In the proposed algorithm, MMDP ...
متن کاملTowards Efficient Verification of Elementary Object Systems
Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In...
متن کاملElectric-Field-Induced Triplet to Singlet Transition in Size-2 Trigonal Zigzag Graphene Nanoflake
Using Hartree-Fock Su-Sheriffer-Heeger (HF-SSH) model, we have studied the dependence of the energies of the ground (magnetic triplet state) and the first exited (nonmagnetic singlet state) states of the size-2 trigonal zigzag graphene nanoflake (size-2 NF) on the intensity of an external in plane static electric field at zero temperature. We identify a transition from the magnetic triplet stat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999